Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
421	Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:15 Models of computation Model checking Petri net Lecture Notes in Computer Science ALGOL 68 Computer Aided Verification Formal methods Software engineering Computing Programming language theory
422	Transforming Interpreters into Inverse Interpreters by Partial Evaluation Robert Gluck ¨ ∗ Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:52 Programming language implementation Theoretical computer science Models of computation Evaluation strategy Partial evaluation Inverse function Programming language Compiler Monad Computing Software engineering Computer programming
423	On the Dynamic Qualitative Behavior of Universal Computation Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-06-19 13:03:42 Theory of computation Turing machine Models of computation Turing completeness Busy beaver Cellular automaton Computability Tag system A New Kind of Science Theoretical computer science Computer science Computability theory
424	Application of Intelligent Automata to Reconnaissance (Thiird Interim Report) Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-09-30 12:49:22 Automaton Robotics Technology Models of computation Computer science Automata theory Ancient Greek technology Automation
425	Reasoning about Security in Mobile Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 1 Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:00:39 Applied mathematics Computer science Models of computation Mathematics Π-calculus Lambda calculus Model theory Mobile Membranes Process calculi Theoretical computer science Ambient calculus
426	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
427	1 Research Summary The primary focus of my research is to develop formal methods and tools which support the modeling and automated analysis of complex computational systems, including software systems, Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:12:54 Science Automata theory Formal methods Concurrent computing Scientific modeling Model checking Unified Modeling Language Finite-state machine Modeling language Computing Theoretical computer science Models of computation
428	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
429	Introduction to Type Theory August 2007 Types Summer School Bertinoro, It Herman Geuvers Add to Reading List Source URL: typessummerschool07.cs.unibo.it Language: English - Date: 2007-08-20 10:27:22 Lambda calculus Type theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Simply typed lambda calculus System F Type system Theoretical computer science Computer science Mathematical logic
430	Curriculum Vitae Last name : First name : Date and place of birth: Nationality: Address: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:28 Computer science Model checking Petri net Computer Aided Verification Formal methods ALGOL 68 Models of computation Software engineering Computing

UPDATE